Generating Executable Scenarios from Natural Language
نویسندگان
چکیده
Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in recent years. We have created a natural language interface, which, for a useful class of systems, yields the automatic production of executable code from structured requirements. In this paper we describe how our method uses static and dynamic grammar for generating live sequence charts (LSCs), that constitute a powerful executable extension of sequence diagrams for reactive systems. We have implemented an automatic translation from controlled natural language requirements into LSCs, and we demonstrate it on two sample reactive systems.
منابع مشابه
From Scenarios to Test Implementations Via Promela
We report on a tool for generating executable concurrent tests from scenarios specified as message sequence charts. The proposed approach features three steps: 1) Deriving a MSC test implementation from a MSC scenario, 2) Mapping the test implementation into a Promela model, 3) Generating executable test scripts in Java. The generation of an intermediate Promela model allows for model-checking ...
متن کاملGenerating machine-executable plans from end-user's natural-language instructions
It is critical for advanced manufacturing machines to autonomously execute a task by following an end-user’s natural language (NL) instructions. However, NL instructions are usually ambiguous and abstract so that the machines may misunderstand and incorrectly execute the task. To address this NL-basedso that the machines may misunderstand and incorrectly execute the task. To address this NL-bas...
متن کاملEnd-to-End Testing Automation in TTCN-3 environment using Conformiq QtronicTM and Elvior MessageMagic A Case study: Automated Testing of X-Lite SIP Softphone EXECUTIVE SUMMARY
TTCN-3 (Test and Test Control Notation version 3) is a programming language for developing tests in telecommunications domain. SIP (Session Initiation Protocol) is a key protocol standard in the modern convergent telecommunications systems. UML (Unified Modeling Language) is one of the most widely used modeling notations for describing requirements and design beyond natural language. Conformiq ...
متن کاملGenerating SPARQL Executable Mappings to Integrate Ontologies
Data translation is an integration task that aims at populating a target model with data of a source model by means of mappings. Generating them automatically is appealing insofar it may reduce integration costs. Matching techniques automatically generate uninterpreted mappings, a.k.a. correspondences, that must be interpreted to perform the data translation task. Other techniques automatically...
متن کاملUnderstanding and Executing Instructions for Everyday Manipulation Tasks from the World Wide Web
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for such household robots. Instead composing them from atomic actions, we propose to transform task descriptions on web sites like ehow.com into executable robot plans. We present methods for automatically converting the ins...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009